Total Books: 1 - 1 /1
Advances in Verification of Time Petri Nets and Timed Automata
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Weiterlesen
Total Books: 1 - 1 /1
